Rule Formats for Distributivity
نویسندگان
چکیده
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.
منابع مشابه
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
An algorithm for unification modulo one-sided distributivity is an early result by Tidén and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this property. Unfortunately the algorithm presented in the paper, although correct, has recently been shown not to be polynomial time bounded as claimed. ...
متن کاملMulti-Level Plurals and Distributivity
We present a computational treatment of the semantics of plural Noun Phrases which extends an earlier approach presented by Scha [7] to be able to deal with multiple-level plurals ("the boys and the girls", "the juries and the committees", etc.) 1 We argue that the arbitrary depth to which such plural structures can be nested creates a correspondingly arbitrary ambiguity in the possibilities fo...
متن کاملCovert distributivity in algebraic event semantics
This is the first in a pair of papers that aim to provide a comprehensive analysis of the semantic phenomenon of distributivity in natural language. This paper investigates and formalizes different sources of covert distributivity. Apart from lexical distributivity effects, which are modeled by meaning postulates, phrasal distributivity is captured via two covert operators: (i) a D operator dis...
متن کاملThe left (right) distributivity of semi-t-operators over 2-uninorms
Recently the distributive equations involving various classes of aggregation operators have aroused widespread attention because of their importance in the theoretic and applied communities of fuzzy set theory. 2-uninorms and semi-t-operators are two special classes of aggregation operators and have been proved to be useful in many areas such as fuzzy decision making, approximate reasoning and ...
متن کاملSOS rule formats for zero and unit elements
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 458 شماره
صفحات -
تاریخ انتشار 2011